Programming complexity - PDFSEARCH.IO - Document Search Engine

Programming complexity
Results: 456

#	Item
31	The International Olympiad in Informatics Syllabus 1 Version and status information Add to Reading List Source URL: ioinformatics.org Language: English - Date: 2013-10-04 02:55:48 Computer programming Software engineering Mathematics Recursion Theoretical computer science Operations research Computability theory International Olympiad in Informatics International Science Olympiad Algorithm Sorting algorithm Computational complexity theory
32	Complexity and Approximability of Parameterized MAX-CSPs Holger Dell1 , Eun Jung Kim2 , Michael Lampis3 , Valia Mitsou4 , and Tobias Mömke5 1 Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2015-11-09 10:22:02 Theoretical computer science Computational complexity theory Mathematics Constraint programming NP-complete problems Boolean algebra Parameterized complexity Boolean satisfiability problem Constraint satisfaction problem Exponential time hypothesis Treewidth Tree decomposition
33	Geoinformatica DOIs10707Task selection in spatial crowdsourcing from worker’s perspective Dingxiong Deng1 · Cyrus Shahabi1 · Add to Reading List Source URL: infolab.usc.edu Language: English - Date: 2016-05-21 03:16:43 Mathematics Graph theory Operations research Computational complexity theory Combinatorial optimization Mathematical optimization Travelling salesman problem Dynamic programming Algorithm Approximation algorithm Heterogeneous Earliest Finish Time Assignment problem
34	Fast d-DNNF Compilation with sharpSAT Christian Muise Sheila McIlraith J. Christopher Beck Add to Reading List Source URL: www.haz.ca Language: English - Date: 2013-10-28 07:18:32 Theoretical computer science Mathematics Formal methods Constraint programming Boolean algebra Automated theorem proving DPLL algorithm Binary decision diagram Exponential time hypothesis Computational complexity theory Bayesian network Distribution
35	Reading Beside the Lines: Indentation as a Proxy for Complexity Metrics Abram Hindle University of Waterloo Waterloo, Ontario Canada Add to Reading List Source URL: plg.uwaterloo.ca Language: English - Date: 2008-03-16 18:36:16 Software engineering Computer programming Software metrics Source code Software Indentation Indent style Cyclomatic complexity Lexical analysis Programming complexity Source lines of code Complexity
36	Verification of Markov Decision Processes using Learning Algorithms? Tom´asˇ Br´azdil1 , Krishnendu Chatterjee2 , Martin Chmel´ık2 , Vojtˇech Forejt3 , Jan Kˇret´ınsk´y2 , Marta Kwiatkowska3 , David Parker4 , a Add to Reading List Source URL: www.hieratic.eu Language: English Computational complexity theory Theory of computation Dynamic programming Markov decision process Stochastic control Analysis of algorithms Mathematical logic Reinforcement learning Time complexity Algorithm PP
37	The Complexity of Translation Membership for Macro Tree Transducers Kazuhiro Inaba Sebastian Maneth Add to Reading List Source URL: db.ucsd.edu Language: English - Date: 2008-12-16 18:43:25 Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Symbol Structure
38	Scalable Distributed-Memory External Sorting Mirko Rahn, Peter Sanders, Johannes Singler4 Karlsruhe Institute of Technology Postfach 6980, 76128 Karlsruhe, Germany arXiv:0910.2582v1 [cs.DS] 14 Oct 2009 Add to Reading List Source URL: arxiv.org Language: English - Date: 2009-10-14 08:51:26 Sorting algorithms Analysis of algorithms External sorting Merge sort Algorithm Randomized algorithm Samplesort Selection algorithm In-place algorithm Time complexity The Art of Computer Programming Best worst and average case
39	Pushing Complexity Down the Stack Gregory Todd Williams Kjetil Kjernsmo Add to Reading List Source URL: kasei.us Language: English - Date: 2014-10-19 02:41:23 Resource Description Framework C++ Trait Type theory SPARQL Perl Join Application programming interface Border Gateway Protocol

UPDATE